<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
	<head>
		<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
		<title>Demonstration of CodeMirrors Java highlighter written by Patrick Wied</title>
		<script src="../../js/codemirror.js" type="text/javascript"></script>
		<link rel="stylesheet" type="text/css" href="../../css/docs.css" />
	</head>
	<body>
	<p>Demonstration of <a href="http://www.codemirror.net">CodeMirror</a>'s Java highlighter.</p>

	<p>Written by <a href="http://www.patrick-wied.at/">Patrick Wied</a>.</p>

        <div style="border-top: 1px solid black; border-bottom: 1px solid black;">
	<textarea id="code">
package example;

import java.awt.*;

/**
 * This class subclasses DrawableRect and adds colors to the rectangle it draws
 **/
public class ColoredRect extends DrawableRect {
  // These are new fields defined by this class.
  // x1, y1, x2, and y2 are inherited from our super-superclass, Rect.
  @AnnotationTest
  protected Color border, fill;
  private String name;

  /**
   * This constructor uses super() to invoke the superclass constructor, and
   * also does some initialization of its own.
   **/
  public ColoredRect(int x1, int y1, int x2, int y2, Color border, Color fill){
    super(x1, y1, x2, y2);
    /* This
    is a block comment */
    this.border = border;
    this.fill = fill;
    this.name = "This is a string";
  }

  /**
   * This method overrides the draw() method of our superclass so that it
   * can make use of the colors that have been specified.
   **/
  public void draw(Graphics g) {
    g.setColor(fill);
    g.fillRect(x1, y1, x2, y2);
    g.setColor(border);
    g.drawRect(x1, y1, x2, y2);
  }
}
	</textarea>
        </div>
	<script type="text/javascript">
	  var editor = CodeMirror.fromTextArea('code', {
	    height: "650px",
	    parserfile: ["../contrib/java/js/tokenizejava.js","../contrib/java/js/parsejava.js"],
	    stylesheet: "css/javacolors.css",
	    path: "../../js/",
		tabMode : "shift"
	  });
	</script>
	</body>
</html>
